MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 01-Dec-96 20:34:35 GMT
Content-Type: text/html
Content-Length: 816
Last-Modified: Monday, 18-Nov-96 01:17:04 GMT

<title>Karl Crary's papers</title>
<h1>Papers</h1>

<ul>

<li>
<cite>A Unified Framework for Modules and Objects and Its Application to Programming Language Design (Extended Abstract)</cite><br>
<table>
<td><a href="papers/mod-obj-abstract">Abstract</a></td>
<td><a href="papers/mod-obj.dvi">DVI</a></td>
<td><a href="papers/mod-obj.ps.gz">Postscript</a></td>
</table>

<li>
<cite>Foundations for the Implementation of Higher-Order Subtyping (Extended Abstract)</cite><br>
<table>
<td><a href="papers/ho-subtype-impl-abstract">Abstract</a></td>
<td><a href="papers/ho-subtype-impl.dvi">DVI</a></td>
<td><a href="papers/ho-subtype-impl.ps.gz">Postscript</a></td>
</table>

<li>Semantic Reconciliation of Subtyping by Inclusion and Coercion (Preliminary Draft)</cite><br>
<table>
<td>Coming soon.</td>
</table>

</ul>
